|
#3
Memoirs of a Proof Theorist: Gödel and Other LogiciansGaisi Takeuti, Nicholas Passell, Mariko Yasugi
4.79 Mb
#4
Memoirs of a Proof Theorist: Gödel and Other LogiciansGaisi Takeuti, Nicholas Passell, Mariko Yasugi
892 Kb
#11
Memoirs of a proof theorist: Goedel and other logiciansGaisi Takeuti, Nicholas Passell, Mariko YasugiКатегория: Mathematical logic
891 Kb
#12
Logic Symposia, Hakone, 1979, 1980G.H. Müller, G. Takeuti, T. TugueКатегория: Lecture notes
1.94 Mb
#13
Logic Symposia, Hakone, 1979, 1980 proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980G.H. Müller, G. Takeuti, T. Tugue
8.99 Mb
|
|